Sign in
third-party-mirror
/
typetools
/
checker-framework
/
0992449ea2fcfa5691fb0b323a6c95ab2c98c1f4
/
.
/
framework
/
tests
/
lubglb
/
Dummy.java
blob: edd55f3231fcd78e6a1b5b945b6cc5bcf2384487 [
file
] [
log
] [
blame
]
public
class
Dummy
{
// We don't need any code here.
// The actual tests are performed within the LubglbChecker using assert statements.
}