mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
26ba30ddbd
* add fake_cvc5 script * remove yet another list of "all" provers, replace by reference to config file * improve setting of default 100% baseline, allow for partial baseline * output all baseline violations instead of just one Change-Id: Ib27f23f3046e9fa43dc2f32f74d6d71a624118fc
4 lines
26 B
Bash
Executable File
4 lines
26 B
Bash
Executable File
#!/bin/bash
|
|
|
|
echo "unsat"
|