Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
A
Algorithms Library Toolkit Core
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Iterations
Wiki
Requirements
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Locked files
Build
Pipelines
Jobs
Pipeline schedules
Test cases
Artifacts
Deploy
Container Registry
Model registry
Monitor
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Code review analytics
Issue analytics
Insights
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Terms and privacy
Keyboard shortcuts
?
Snippets
Groups
Projects
Admin message
Hello
GitLab will be updated tonight at 22:00. Expect short outage.
Show more breadcrumbs
Algorithms Library Toolkit
Algorithms Library Toolkit Core
Commits
aa101f95fe510a11c0086f90f289630d9c7982f2
Select Git revision
Branches
20
master
default
protected
dev-tp2
merge-tp
dev-tp
merge-jt
clang-tidy-fixes
merge_ranges
issue-132-seed
simplify_ext
new-docs
libc++
rte2pda-matching
conversions-tests-wip
ZAutomata-rebase
libc++-17
QuantumLeap
tmp
dev-jt
compileTimeTypeRetrievalTest
backup-jt
Tags
20
BP-shushiri
DP-doupajak
esf2018-doc
v0.0.0
protected
v0.0.1
protected
BP-uhlikja2
DP-travnja3
BP_capekto4
BP_cvachmic
BP-parmajan
BP_shatrale
DP_plachste
DP-peckatom
BP-brozjan5
BP-doupajak
BP-vozabluk
BP-kocicma3
BP-cervera3
BP-roscadav2
BP-plachste
40 results
automata-library
tests.adeterminize.sh
Author
Search by author
Any Author
authors
Bruce Watson
bruce.watson
Filip Gregor
gregofi1
Ing. Radomír Polách
polacrad
Jan Trávníček
travnja3
Loek Cleophas
loek.cleophas
Martin Žák
zakmart1
Ondřej Guth
guthondr
Štěpán Plachý
plachste
Tomáš Pecka
peckato1
9 authors
Jan 22, 2015
simplify tests
· cadd5e65
Jan Trávníček
authored
10 years ago
cadd5e65
Jan 21, 2015
add tests
· a32a2494
Jan Trávníček
authored
10 years ago
a32a2494
Jan 19, 2015
some work on determinisation tests
· 3ec1e84a
Jan Trávníček
authored
10 years ago
3ec1e84a
Apr 30, 2014
remove tests for vpa and rhdpda from testing script
· 1354c7e9
Jan Vesely
authored
10 years ago
1354c7e9
Apr 28, 2014
make test determinize sh executible
· b2b42194
Jan Trávníček
authored
10 years ago
b2b42194
Apr 27, 2014
add test bash script for adeterminize
· f0d15813
Jan Vesely
authored
10 years ago
f0d15813
Loading
