Commits

Commits on Apr 9, 2024

Counterexamples As Assumptions (#5013 )

committedApr 9, 2024

Commits on Mar 28, 2024

Support Counterexamples with New CLI Interface (#5135 )

committedMar 28, 2024

Commits on Jan 22, 2024

Parity in Counterexample-Related Z3 Options for Command-Line vs Language Server (#4792 )

Dargones
and
Aleksandr Fedchin
committedJan 22, 2024

Commits on Oct 31, 2023

Fix double counting of lines in test coverage reports (#4710 )

committedOct 31, 2023

Commits on Oct 21, 2023

[Test Generation] Fix unstable test (#4695 )

Dargones
and
Aleksandr Fedchin
committedOct 21, 2023

Commits on Oct 16, 2023

Parity for Test Coverage and Proof Dependency Coverage Reports (#4670 )

committedOct 16, 2023
Fix concurrency bug in a test case (#4663 )

Dargones
and
Aleksandr Fedchin
committedOct 16, 2023

Commits on Oct 6, 2023

[Test Generation] Comprehensive Test (#4406 )

committedOct 6, 2023

Commits on Sep 16, 2023

[Test Generation] Reduce memory footprint by reusing the same Boogie program for multiple test generation queries (#4530 )

Dargones
and
Aleksandr Fedchin
committedSep 16, 2023

Commits on Aug 27, 2023

Documenting Test Generation in Reference Manual (#4445 )

committedAug 27, 2023

Commits on Aug 25, 2023

Test Generation Auditor (#4444 )

Dargones
and
Aleksandr Fedchin
committedAug 25, 2023

Commits on Aug 17, 2023

Dafny Test Coverage Report (#4325 )

committedAug 17, 2023

Commits on Aug 10, 2023

[Test Generation] Change the set of coverage criteria that can be targeted (#4326 )

committedAug 10, 2023

Commits on Aug 9, 2023

[Test Generation] Deprecate support for old command line interface (#4385 )

Dargones
and
Aleksandr Fedchin
committedAug 9, 2023
[Counterexamples] Fix stack overflow during counterexample extraction for some programs (#4392 )

Dargones
and
Aleksandr Fedchin
committedAug 9, 2023

Commits on Jul 26, 2023

Inlining overhaul for test generation (#4255 )

Dargones
and
Aleksandr Fedchin
committedJul 26, 2023

Commits on Jul 3, 2023

Update Counterexample Parsing to Support Different Polymorphism Encodings in Boogie (anticipating #4210 ) (#4229 )

committedJul 3, 2023

Commits on Jun 27, 2023

Disable ShowSnippets during Test Generation (#4216 )

Dargones
and
Aleksandr Fedchin
committedJun 27, 2023

Commits on Jun 7, 2023

[Test Generation] Remove redundant code (#4146 )

Dargones
and
Aleksandr Fedchin
committedJun 7, 2023

Commits on May 25, 2023

[Test Generation] Fix bug in function to function-by-method transformation (#4067 )

Dargones
and
Aleksandr Fedchin
committedMay 25, 2023
(Test Generation) Fix #3726 bug leading to stack overflow during test generation (#3727 )

committedMay 25, 2023

Commits on May 5, 2023

[Counterexamples] Support constant fields (#3841 )

Dargones
and
keyboardDrummer
committedMay 5, 2023

Commits on May 3, 2023

[Test Generation] Control inlining using method annotations (#3865 )

committedMay 3, 2023

Commits on May 1, 2023

[Test Generation] Increase stack size during translation (#3897 )

Dargones
and
atomb
committedMay 1, 2023

Commits on Mar 23, 2023

fix: (Test Generation) Better Error Messages and Variable Names (#3711 )

Dargones
and
atomb
committedMar 23, 2023

Commits on Feb 22, 2023

fix: Fix naming of formals in Translator and standardize Z3 path (#3551 )

Dargones
and
atomb
committedFeb 22, 2023

Commits on Feb 1, 2023

Feature: Test Generation Redesign (#3122 )

Dargones
and
atomb
committedFeb 1, 2023
fix: Fix naming of formals in Translator (#2266 )

committedFeb 1, 2023

Commits on Aug 4, 2022

Counterexamples - fix integer parsing bug and improve code quality (#2461 )
Dargones
committedAug 4, 2022

Commits on Jul 12, 2022

fix: Use {:test} and {:synthesize} in automatically generated tests (#2269 )

committedJul 12, 2022

Commits on Jun 14, 2022

feat: Type Parameters in Automatically Generated Tests (#2227 )

Dargones
and
Sasha Fedchin
committedJun 14, 2022

Commits on Mar 30, 2022

fix: Move concrete value substitution from test generation to counterexample extraction (#1751 )
Dargones
committedMar 30, 2022

Commits on Mar 28, 2022

Support for Mocking in C# Compiler (#1809 )
Dargones
committedMar 28, 2022

Commits on Oct 19, 2021

Counterexamples from Command Line (#1511 )

Dargones
and
robin-aws
committedOct 19, 2021

Commits on Sep 3, 2021

Test Generation (#1385 )
Dargones
committedSep 3, 2021