simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

add another bug repro

Browse source
This commit is contained in:
Simon Cruanes 2023-06-25 15:39:28 -04:00
parent 477c780f18
commit 67e9eabf43
2 changed files with 371 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
tests/sat/Carpark2-ausgabe-8-reduced.smt2 Normal file
View file

@ -0,0 +1,3 @@
(declare-fun _9 () Real)
(assert (= 0.0 (+ _9 1)))
(check-sat)

368
tests/sat/Carpark2-ausgabe-8.smt2 Normal file
View file

File diff suppressed because one or more lines are too long