Skip to content

Commit 9e20e33

Browse files
TomaqaTomaqa
committed
Added regression tests on time limits
1 parent 0433ecb commit 9e20e33

File tree

42 files changed

+10248
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

42 files changed

+10248
-0
lines changed

‎test/regression/base/QF_UF/php_3_3_40_sat_simplified.smt2‎

Lines changed: 1027 additions & 0 deletions
Large diffs are not rendered by default.

‎test/regression/base/QF_UF/php_3_3_40_sat_simplified.smt2.expected.err‎

Whitespace-only changes.

‎test/regression/base/QF_UF/php_3_3_40_sat_simplified.smt2.expected.out‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
sat

0 commit comments

Comments
 (0)