FP in incorrect substitution groovy

hephaestus-compiler-project / hephaestus

A framework for testing compilers' type checkers

https://hephaestus-compiler-project.github.io/

GNU General Public License v3.0

49 stars 10 forks source link

Closed StefanosChaliasos closed 3 years ago

theosotr commented 3 years ago

@StefanosChaliasos take a look, and let me know if you run into a FP.

StefanosChaliasos commented 3 years ago

There are two issues that produced 5 FPs in 500 iterations.

[x] SHOULD NOT BE COMPILED: Expected type is BigDecimal(groovy-builtin), but Double(groovy-builtin) was found. Replaced '-80.84' with '13.327'. -- The same can happen with FLOAT.
[x] SHOULD NOT BE COMPILED: Expected type is Object(groovy-builtin), but Equably was found. Replaced '69' with 'new Equably(new Describe('X'), 45)'.

theosotr commented 3 years ago