Skip to content

First tests completed about clock predicate abstraction #109

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #109

Workflow file for this run

name: TR-master
on:
push:
branches:
- master
workflow_dispatch:
jobs: