Skip to content
Commit a393cd78 authored by Jan Kiene's avatar Jan Kiene
Browse files

skip buggy testcases in BASOP

parent c0804ecc