Skip to content

First tests completed about clock predicate abstraction #107

First tests completed about clock predicate abstraction

First tests completed about clock predicate abstraction #107

Workflow file for this run

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