validate junit files (with extra attributes added to schema)
[SymbiYosys.git] / tests /
drwxr-xr-x   ..
-rw-r--r-- 96 .gitignore
-rw-r--r-- 10263 JUnit.xsd
-rw-r--r-- 489 Makefile
-rw-r--r-- 226 both_ex.sby
-rw-r--r-- 441 both_ex.v
-rw-r--r-- 120 cover.sby
-rw-r--r-- 274 cover.sv
-rw-r--r-- 382 cover_fail.sby
-rw-r--r-- 172 demo.sby
-rw-r--r-- 293 demo.sv
-rw-r--r-- 456 junit_assert.sby
-rw-r--r-- 565 junit_cover.sby
-rw-r--r-- 725 junit_timeout_error.sby
-rw-r--r-- 180 memory.sby
-rw-r--r-- 1289 memory.sv
-rw-r--r-- 219 mixed.sby
-rw-r--r-- 320 mixed.v
-rw-r--r-- 248 multi_assert.sby
-rw-r--r-- 268 preunsat.sby
-rw-r--r-- 231 prv32fmcmp.sby
-rw-r--r-- 1912 prv32fmcmp.v
-rw-r--r-- 121 redxor.sby
-rw-r--r-- 118 redxor.v
-rw-r--r-- 193 stopfirst.sby
-rw-r--r-- 338 submod_props.sby
-rw-r--r-- 469 validate_junit.py