on dcbe2fc help sign in
elk/tests/bad
3 files
../ BBTArgsCheck that main is a Signal or (Signal Element), add tests for this case InfiniteType.elmAdd occurs check and a test to make sure it works NonElementMain.elmCheck that main is a Signal or (Signal Element), add tests for this case