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 [email protected] 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.

https://github.com/CVC4/CVC4/issues/3538 https://github.com/SRI-CSL/yices2/issues/164 https://github.com/Z3Prover/z3/issues/2965 https://github.com/Z3Prover/z3/issues/2777 https://github.com/Z3Prover/z3/issues/2799 https://github.com/Z3Prover/z3/issues/2933 https://github.com/Z3Prover/z3/issues/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