mirror of
https://github.com/AdaCore/spark2014.git
synced 2026-02-12 12:39:11 -08:00
54ca895397
Previously, if a check had several VCs associated with it, only the first one was generated. We now generate all of them for each prover. Change-Id: I53485a8e63a079baa51ffbff85bf0a0da1929c4b
4 lines
26 B
Bash
Executable File
4 lines
26 B
Bash
Executable File
#!/bin/bash
|
|
|
|
echo "unsat"
|