Miss author, hello~
some errors happened when I run the demo, I guess the docker image haven't been downloaded automatically. So this question lead to my failure, and I hope this problem can be resolved in the future.
With the above question, I found this image in hub.docker.com https://hub.docker.com/r/tzuhanmsu/hyperqube.
And the following problem may not come from my stupid operation:
root@ad0cceb4a062:/HyperQB# bash ./hyperqb.sh demo/snark_conc.smv demo/snark_seq.smv demo/lin.hq 18 -pes
------( HyperQB START! )------
*mode is not specified, default to (-bughunt)
NuSMV models and HyperLTL formula parsing...56.780s
BMC unrolling with genqbf..................../hyperqb.sh: line 153: exec/genqbf: cannot execute binary file: Exec format error
0.005s
(!) HyperQB error: .qcir file is empty. check if errors are reported.
Miss author, hello~
some errors happened when I run the demo, I guess the docker image haven't been downloaded automatically. So this question lead to my failure, and I hope this problem can be resolved in the future.
With the above question, I found this image in hub.docker.com https://hub.docker.com/r/tzuhanmsu/hyperqube.
And the following problem may not come from my stupid operation:
root@ad0cceb4a062:/HyperQB# bash ./hyperqb.sh demo/snark_conc.smv demo/snark_seq.smv demo/lin.hq 18 -pes
------( HyperQB START! )------
*mode is not specified, default to (-bughunt)
NuSMV models and HyperLTL formula parsing...56.780s
BMC unrolling with genqbf..................../hyperqb.sh: line 153: exec/genqbf: cannot execute binary file: Exec format error
0.005s
(!) HyperQB error: .qcir file is empty. check if errors are reported.