search

opprop / immutability

The Practical Immutability for Classes and Objects (PICO) type system enforces transitive class and object immutability
Other
3 stars 5 forks source link

Adding Glacier and ReImInfer test cases #20

Open lnsun opened 3 years ago

lnsun commented 3 years ago

Adding Glacier and ReImInfer test cases to PICO. Glacier: https://github.com/mcoblenz/Glacier/tree/master/tests/glacier ReImInfer: https://github.com/proganalysis/type-inference/tree/master/object-immutability/tests