Skip to content
GitLab
Explore
Sign in
Remove TestTCK1 step and streamline tests
Code
Review changes
Check out branch
Download
Patches
Plain diff
Rosen Matev
requested to merge
tck-tests
into
2018-patches
Aug 07, 2018
Overview
1
Commits
4
Pipelines
0
Changes
10
Expand
Remove TestTCK1 step from TCK creation
Remove default for Moore.InitialTCK
Write TCK in DecReports when generating configs
Move TCK test comparisons in testtck1/2
Edited
Aug 07, 2018
by
Rosen Matev
Merge request reports
Loading