TAP version 13
# Subtest: library refuses a privileged-floor miss, a bad proof pair and every flag outside its set
ok 1 - library refuses a privileged-floor miss, a bad proof pair and every flag outside its set
  ---
  duration_ms: 293.688814
  type: 'test'
  ...
1..1
# tests 1
# suites 0
# pass 1
# fail 0
# cancelled 0
# skipped 0
# todo 0
# duration_ms 400.834229