Skip to content

Commit 0a5de3a

Browse files
zenAndroidzenAndroid
committed
Add readme.md
1 parent fde48ff commit 0a5de3a

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎README.md‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
# Oracle extractor:
2+
Implementation of an algorithm that deals with test oracles that are modelled as Non Deterministic Mealy Machines.
3+
4+
More thorough description coming soon.

0 commit comments

Comments
 (0)