diff options
| author | funemy | 2022-10-24 02:26:05 +0000 |
|---|---|---|
| committer | funemy | 2022-10-24 02:26:05 +0000 |
| commit | 08986a7a748a8ae747e076a3807e367f479b3ece (patch) | |
| tree | 2b1dbdaceae95f8292d900d5f57e95ca123e0443 /entries/funemy/z3/z3fib.sh | |
| parent | 31aa5baf3cc0935b579ac41b194f46e771443583 (diff) | |
fix
Diffstat (limited to 'entries/funemy/z3/z3fib.sh')
| -rwxr-xr-x | entries/funemy/z3/z3fib.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/entries/funemy/z3/z3fib.sh b/entries/funemy/z3/z3fib.sh index d3a93c2..ecf42b4 100755 --- a/entries/funemy/z3/z3fib.sh +++ b/entries/funemy/z3/z3fib.sh @@ -35,7 +35,9 @@ do done echo " (= x0 0)" >> fib.smt2 -echo " (= x1 1)" >> fib.smt2 +if [ "$1" -ge "1" ]; then + echo " (= x1 1)" >> fib.smt2 +fi if [ "$1" -ge "2" ]; then for i in $(seq 2 $1); |