| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| baciBooleanPropTest.ref | 2017-10-17 20:45 | 9.0K | ||
| baciBooleanSeqPropTe..> | 2017-10-17 20:45 | 4.7K | ||
| baciDoublePropComple..> | 2017-10-17 20:45 | 7.4K | ||
| baciDoublePropTest.ref | 2017-10-17 20:45 | 6.9K | ||
| baciEnumPropTest.ref | 2017-10-17 20:45 | 4.1K | ||
| baciPatternPropTest.ref | 2017-10-17 20:45 | 3.7K | ||