info.txt « 477-checker-bound-type « test - art - Unnamed repository; edit this file 'description' to name the repository.

Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/test/477-checker-bound-type/info.txt

blob: 68c774a5fb2a72d2a7dddf60a9c775b28dd88fbe (plain)

1
2
3

Tests that we only generate a bound type if we have relevant users.
It also tests a code generator regression for GenerateTestAndBranch which
didn't take into account NullConstants.