Commits

History for

Commits on Apr 8, 2021

Update old tests
Leonardo Alt
committed

Commits on Mar 30, 2021

Add local vars to cex
Leonardo Alt
committed

Commits on Jan 12, 2021

Remove extra line breaks
Leonardo Alt
committed

Commits on Jan 4, 2021

Add contract name to called function in cex
Leonardo Alt
committed

Commits on Dec 9, 2020

Move CHC counterexamples to primary location
Leonardo Alt
committed

Commits on Sep 25, 2020

[SMTChecker] Add engine prefix to verification target error messages
Leonardo Alt
committed

Commits on Sep 9, 2020

[SMTChecker] Change warning message
Leonardo Alt
committed

Commits on Jul 23, 2020

Update tests
Leonardo Alt
committed

Commits on Jun 22, 2020

Added error codes to SyntaxTest expectations (updated tests)
a3d4
committed

Commits on Dec 9, 2019

Set tests that CVC4 can't handle to Z3 only
Leonardo Alt
committed

Commits on Jun 24, 2019

[SMTChecker] Remove overflow check for assignments
Leonardo Alt
committed

Commits on Feb 18, 2019

[SMTChecker] Only check for overflow/underflow in the end of the function
Leonardo Alt
committed

Commits on Dec 4, 2018

[SMTChecker] Loops are unrolled once
Leonardo Alt
committed

Commits on Nov 22, 2018

Organize smt tests in subdirectories

Leonardo Alt
authored and
axic
committed

Loading