search

viperproject / sample

Other
0 stars 0 forks source link

Inference doesn't work with new statement #85

Closed viper-admin closed 4 years ago

viper-admin commented 8 years ago

Created by @aterga on 2016-11-02 15:22 Last updated on 2016-11-04 10:20

No contracts are inferred for the following program: 

field a: Int
field b: Int

method foo()
{
  var x: Ref; x := new(a)
  x.a := 11
  x.b := x.a
}
viper-admin commented 8 years ago

@aterga on 2016-11-02 15:56:

  • edited the description
viper-admin commented 8 years ago

@dohrau on 2016-11-02 16:07:

  • changed the assignee from (none) to @dohrau
viper-admin commented 8 years ago

@dohrau commented on 2016-11-04 10:20

fix https://github.com/viperproject/sample/issues/85

→ <<cset https://github.com/viperproject/sample/commit/f48eb4a73d51bfe826e07a7ea17b39e2250061e2>>

viper-admin commented 8 years ago

@dohrau on 2016-11-04 10:20:

  • changed state from new to resolved