benchmark-defs/symbiotic.xml · testcomp20 · SoSy-Lab / Test-Comp / Benchmark Definitions · GitLab

Nov 15, 2019
cc1df0e4
Merge branch 'patch-2' into 'master' · cc1df0e4
Dirk Beyer authored Nov 15, 2019
```
symbiotic.xml: remove --64 option

See merge request !48
```
cc1df0e4
Merge branch 'patch-2' into 'master'
Dirk Beyer authored Nov 15, 2019
```
symbiotic.xml: remove --64 option

See merge request !48
```