Andrea Gilot

icon indicating a website link andreagilot.com

icon location PhD student at Uppsala University. I focus on verification of numerical code. More information on my personal webpage.

Results 2 issues of Andrea Gilot

Does not locate the line number of a VC

When running the following snippet of code: ```scala object Bug { sealed trait State{ def plant: Tree = { this match { case Baz(t1, t2) => { val kd1 =...

Null pointer exception raised when variable has not yet been declared

1 comment

The following code snippet causes a `NullPointerException`. ``` scala object A extends lisa.Main{ val f = x === x val x = variable } object C extends lisa.Main { A.x...