The known critical bugs that STORM can reproduce

[merlinsun]

Hi, I wonder which known critical bugs STORM can reproduce, but I can't find the answer in the paper.

[merlinsun]

And I can't reproduce the bug6 in the fse_repl.

$ git log -1
commit da2f5cc
Author: Nikolaj Bjorner nbjorner@microsoft.com
Date: Tue Jan 21 14:18:49 2020 -0600
remove spurious out

NAME="Ubuntu"
VERSION="16.04.7 LTS (Xenial Xerus)"
ID=ubuntu
ID_LIKE=debian
PRETTY_NAME="Ubuntu 16.04.7 LTS"
VERSION_ID="16.04"
HOME_URL="http://www.ubuntu.com/"
SUPPORT_URL="http://help.ubuntu.com/"
BUG_REPORT_URL="http://bugs.launchpad.net/ubuntu/"
VERSION_CODENAME=xenial
UBUNTU_CODENAME=xenial

[numairmansur]

These were the known critical bugs that we referred to in the paper.

cvc5/cvc5#3538
SRI-CSL/yices2#164
Z3Prover/z3#2965
Z3Prover/z3#2777
Z3Prover/z3#2799
Z3Prover/z3#2933
Z3Prover/z3#2301

[numairmansur]

Can you share the SMT file generated by storm when you run
storm --reproduce=bug6 --seed=1595625837

[merlinsun]

Can you share the SMT file generated by storm when you run
storm --reproduce=bug6 --seed=1595625837

Thanks for your reply. This is the SMT file generated by storm when I run
storm --reproduce=bug6 --seed=1595625837

bug6.zip

[numairmansur]

bug6.zip

When I click on this, I get "not found"

[merlinsun]

bug6.zip

When I click on this, I get "not found"

I feel sorry to it.
bug6.zip

[numairmansur]

Yes you are right. Something seems wrong with bug6.
I can take a look at it on the weekend. Is this urgent ?

[merlinsun]

Yes you are right. Something seems wrong with bug6.
I can take a look at it on the weekend. Is this urgent ?

Sincerely thanks! It's not urgent. You can fix it at your convenience.

[merlinsun]

Maybe the same problem occurs in bug 18...

bug18.zip