Numair Mansur

icon indicating a website link http://numairmansur.github.io/ icon indicating an email [email protected]

icon company Amazon Web Services icon location Berlin, Germany icon location Research Interests: Automatic testing, debugging, formal analysis and verification of complex software systems

Results 7 comments of Numair Mansur

The known critical bugs that STORM can reproduce

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

The known critical bugs that STORM can reproduce

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

The known critical bugs that STORM can reproduce

> bug6.zip When I click on this, I get "not found"

The known critical bugs that STORM can reproduce

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

nosetest fails

Hi, Can you try to run it on python 3.4 ? we currently have some problems when running on python 3.6 .

[Install issue]: install chroma on AWS lambda layer, exceeded size limit

Any updates on this?

Tables in pdf files are not converted properly

+1