Movatterモバイル変換

[0]ホーム
URL:

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

 Sign up
Appearance settings

Commit26deb91

Browse files
committed
Adding all files
1 parent153248b commit26deb91

File tree

65 files changed

+3615
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

65 files changed

+3615
-0
lines changed

‎build.gradle‎

Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
plugins {
2+
id'java'
3+
}
4+
5+
group'ist'
6+
version'1.0'
7+
8+
sourceCompatibility=1.8
9+
10+
repositories {
11+
mavenCentral()
12+
}
13+
14+
dependencies {
15+
testCompilegroup:'junit',name:'junit',version:'4.12'
16+
compile'de.learnlib.distribution:learnlib-distribution:0.14.0'
17+
//compile 'net.automatalib.distribution:automata-distribution:0.9.0'
18+
compilegroup:'com.hivemq',name:'hivemq-mqtt-client',version:'1.1.4'
19+
}
20+
21+
tasklearningBasedFuzzing(type:JavaExec) {
22+
classpath sourceSets.main.runtimeClasspath
23+
main="Main"
24+
}

‎gradle/wrapper/gradle-wrapper.jar‎

53.9 KB
Binary file not shown.
Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
#Mon Mar 09 16:51:33 CET 2020
2+
distributionUrl=https\://services.gradle.org/distributions/gradle-5.2.1-all.zip
3+
distributionBase=GRADLE_USER_HOME
4+
distributionPath=wrapper/dists
5+
zipStorePath=wrapper/dists
6+
zipStoreBase=GRADLE_USER_HOME

‎gradlew‎

Lines changed: 172 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,172 @@
1+
#!/usr/bin/env sh
2+
3+
##############################################################################
4+
##
5+
## Gradle start up script for UN*X
6+
##
7+
##############################################################################
8+
9+
# Attempt to set APP_HOME
10+
# Resolve links: $0 may be a link
11+
PRG="$0"
12+
# Need this for relative symlinks.
13+
while [-h"$PRG" ];do
14+
ls=`ls -ld"$PRG"`
15+
link=`expr"$ls":'.*-> \(.*\)$'`
16+
if expr"$link":'/.*'> /dev/null;then
17+
PRG="$link"
18+
else
19+
PRG=`dirname"$PRG"`"/$link"
20+
fi
21+
done
22+
SAVED="`pwd`"
23+
cd"`dirname\"$PRG\"`/">/dev/null
24+
APP_HOME="`pwd -P`"
25+
cd"$SAVED">/dev/null
26+
27+
APP_NAME="Gradle"
28+
APP_BASE_NAME=`basename"$0"`
29+
30+
# Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
31+
DEFAULT_JVM_OPTS='"-Xmx64m"'
32+
33+
# Use the maximum available, or set MAX_FD != -1 to use that value.
34+
MAX_FD="maximum"
35+
36+
warn () {
37+
echo"$*"
38+
}
39+
40+
die () {
41+
echo
42+
echo"$*"
43+
echo
44+
exit 1
45+
}
46+
47+
# OS specific support (must be 'true' or 'false').
48+
cygwin=false
49+
msys=false
50+
darwin=false
51+
nonstop=false
52+
case"`uname`"in
53+
CYGWIN* )
54+
cygwin=true
55+
;;
56+
Darwin* )
57+
darwin=true
58+
;;
59+
MINGW* )
60+
msys=true
61+
;;
62+
NONSTOP* )
63+
nonstop=true
64+
;;
65+
esac
66+
67+
CLASSPATH=$APP_HOME/gradle/wrapper/gradle-wrapper.jar
68+
69+
# Determine the Java command to use to start the JVM.
70+
if [-n"$JAVA_HOME" ];then
71+
if [-x"$JAVA_HOME/jre/sh/java" ];then
72+
# IBM's JDK on AIX uses strange locations for the executables
73+
JAVACMD="$JAVA_HOME/jre/sh/java"
74+
else
75+
JAVACMD="$JAVA_HOME/bin/java"
76+
fi
77+
if [!-x"$JAVACMD" ];then
78+
die"ERROR: JAVA_HOME is set to an invalid directory:$JAVA_HOME
79+
80+
Please set the JAVA_HOME variable in your environment to match the
81+
location of your Java installation."
82+
fi
83+
else
84+
JAVACMD="java"
85+
which java>/dev/null2>&1|| die"ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
86+
87+
Please set the JAVA_HOME variable in your environment to match the
88+
location of your Java installation."
89+
fi
90+
91+
# Increase the maximum file descriptors if we can.
92+
if ["$cygwin"="false"-a"$darwin"="false"-a"$nonstop"="false" ];then
93+
MAX_FD_LIMIT=`ulimit -H -n`
94+
if [$?-eq 0 ];then
95+
if ["$MAX_FD"="maximum"-o"$MAX_FD"="max" ];then
96+
MAX_FD="$MAX_FD_LIMIT"
97+
fi
98+
ulimit -n$MAX_FD
99+
if [$?-ne 0 ];then
100+
warn"Could not set maximum file descriptor limit:$MAX_FD"
101+
fi
102+
else
103+
warn"Could not query maximum file descriptor limit:$MAX_FD_LIMIT"
104+
fi
105+
fi
106+
107+
# For Darwin, add options to specify how the application appears in the dock
108+
if$darwin;then
109+
GRADLE_OPTS="$GRADLE_OPTS\"-Xdock:name=$APP_NAME\"\"-Xdock:icon=$APP_HOME/media/gradle.icns\""
110+
fi
111+
112+
# For Cygwin, switch paths to Windows format before running java
113+
if$cygwin;then
114+
APP_HOME=`cygpath --path --mixed"$APP_HOME"`
115+
CLASSPATH=`cygpath --path --mixed"$CLASSPATH"`
116+
JAVACMD=`cygpath --unix"$JAVACMD"`
117+
118+
# We build the pattern for arguments to be converted via cygpath
119+
ROOTDIRSRAW=`find -L / -maxdepth 1 -mindepth 1 -type d2>/dev/null`
120+
SEP=""
121+
fordirin$ROOTDIRSRAW;do
122+
ROOTDIRS="$ROOTDIRS$SEP$dir"
123+
SEP="|"
124+
done
125+
OURCYGPATTERN="(^($ROOTDIRS))"
126+
# Add a user-defined pattern to the cygpath arguments
127+
if ["$GRADLE_CYGPATTERN"!="" ];then
128+
OURCYGPATTERN="$OURCYGPATTERN|($GRADLE_CYGPATTERN)"
129+
fi
130+
# Now convert the arguments - kludge to limit ourselves to /bin/sh
131+
i=0
132+
forargin"$@";do
133+
CHECK=`echo"$arg"|egrep -c"$OURCYGPATTERN" -`
134+
CHECK2=`echo"$arg"|egrep -c"^-"`### Determine if an option
135+
136+
if [$CHECK-ne 0 ]&& [$CHECK2-eq 0 ];then### Added a condition
137+
eval`echo args$i`=`cygpath --path --ignore --mixed"$arg"`
138+
else
139+
eval`echo args$i`="\"$arg\""
140+
fi
141+
i=$((i+1))
142+
done
143+
case$iin
144+
(0)set -- ;;
145+
(1)set --"$args0" ;;
146+
(2)set --"$args0""$args1" ;;
147+
(3)set --"$args0""$args1""$args2" ;;
148+
(4)set --"$args0""$args1""$args2""$args3" ;;
149+
(5)set --"$args0""$args1""$args2""$args3""$args4" ;;
150+
(6)set --"$args0""$args1""$args2""$args3""$args4""$args5" ;;
151+
(7)set --"$args0""$args1""$args2""$args3""$args4""$args5""$args6" ;;
152+
(8)set --"$args0""$args1""$args2""$args3""$args4""$args5""$args6""$args7" ;;
153+
(9)set --"$args0""$args1""$args2""$args3""$args4""$args5""$args6""$args7""$args8" ;;
154+
esac
155+
fi
156+
157+
# Escape application args
158+
save () {
159+
for idoprintf %s\\n"$i"| sed"s/'/'\\\\''/g;1s/^/'/;\$s/\$/'\\\\/";done
160+
echo""
161+
}
162+
APP_ARGS=$(save"$@")
163+
164+
# Collect all arguments for the java command, following the shell quoting and substitution rules
165+
evalset --$DEFAULT_JVM_OPTS$JAVA_OPTS$GRADLE_OPTS"\"-Dorg.gradle.appname=$APP_BASE_NAME\"" -classpath"\"$CLASSPATH\"" org.gradle.wrapper.GradleWrapperMain"$APP_ARGS"
166+
167+
# by default we should be in the correct project dir, but when run from Finder on Mac, the cwd is wrong
168+
if ["$(uname)"="Darwin" ]&& ["$HOME"="$PWD" ];then
169+
cd"$(dirname"$0")"
170+
fi
171+
172+
exec"$JAVACMD""$@"

‎gradlew.bat‎

Lines changed: 84 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,84 @@
1+
@if"%DEBUG%"==""@echooff
2+
@rem ##########################################################################
3+
@rem
4+
@rem Gradle startup script for Windows
5+
@rem
6+
@rem ##########################################################################
7+
8+
@rem Set local scope for the variables with windows NT shell
9+
if"%OS%"=="Windows_NT"setlocal
10+
11+
setDIRNAME=%~dp0
12+
if"%DIRNAME%"==""setDIRNAME=.
13+
setAPP_BASE_NAME=%~n0
14+
setAPP_HOME=%DIRNAME%
15+
16+
@rem Add default JVM options here. You can also use JAVA_OPTS and GRADLE_OPTS to pass JVM options to this script.
17+
setDEFAULT_JVM_OPTS="-Xmx64m"
18+
19+
@rem Find java.exe
20+
ifdefined JAVA_HOMEgoto findJavaFromJavaHome
21+
22+
setJAVA_EXE=java.exe
23+
%JAVA_EXE% -version>NUL2>&1
24+
if"%ERRORLEVEL%"=="0"goto init
25+
26+
echo.
27+
echo ERROR: JAVA_HOME is not set and no 'java' command could be found in your PATH.
28+
echo.
29+
echo Please set the JAVA_HOME variable in your environment to match the
30+
echo location of your Java installation.
31+
32+
goto fail
33+
34+
:findJavaFromJavaHome
35+
setJAVA_HOME=%JAVA_HOME:"=%
36+
setJAVA_EXE=%JAVA_HOME%/bin/java.exe
37+
38+
ifexist"%JAVA_EXE%"goto init
39+
40+
echo.
41+
echo ERROR: JAVA_HOME is set to an invalid directory:%JAVA_HOME%
42+
echo.
43+
echo Please set the JAVA_HOME variable in your environment to match the
44+
echo location of your Java installation.
45+
46+
goto fail
47+
48+
:init
49+
@rem Get command-line arguments, handling Windows variants
50+
51+
ifnot"%OS%"=="Windows_NT"goto win9xME_args
52+
53+
:win9xME_args
54+
@rem Slurp the command line arguments.
55+
setCMD_LINE_ARGS=
56+
set_SKIP=2
57+
58+
:win9xME_args_slurp
59+
if"x%~1"=="x"goto execute
60+
61+
setCMD_LINE_ARGS=%*
62+
63+
:execute
64+
@rem Setup the command line
65+
66+
setCLASSPATH=%APP_HOME%\gradle\wrapper\gradle-wrapper.jar
67+
68+
@rem Execute Gradle
69+
"%JAVA_EXE%"%DEFAULT_JVM_OPTS%%JAVA_OPTS%%GRADLE_OPTS%"-Dorg.gradle.appname=%APP_BASE_NAME%" -classpath"%CLASSPATH%" org.gradle.wrapper.GradleWrapperMain%CMD_LINE_ARGS%
70+
71+
:end
72+
@rem End local scope for the variables with windows NT shell
73+
if"%ERRORLEVEL%"=="0"goto mainEnd
74+
75+
:fail
76+
rem Set variable GRADLE_EXIT_CONSOLE if you need the _script_ return code instead of
77+
rem the _cmd.exe /c_ return code!
78+
ifnot""=="%GRADLE_EXIT_CONSOLE%"exit1
79+
exit /b1
80+
81+
:mainEnd
82+
if"%OS%"=="Windows_NT"endlocal
83+
84+
:omega
Lines changed: 28 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,28 @@
1+
digraphg {
2+
3+
s0 [shape="circle"label="0"];
4+
s1 [shape="circle"label="1"];
5+
s2 [shape="circle"label="2"];
6+
s0-> s1 [label="connect / CONNACK"];
7+
s0-> s0 [label="disconnect / CONCLOSED"];
8+
s0-> s0 [label="subscribe / CONCLOSED"];
9+
s0-> s0 [label="publish / CONCLOSED"];
10+
s0-> s0 [label="unsubscribe / CONCLOSED"];
11+
s0-> s0 [label="invalid / CONCLOSED"];
12+
s1-> s0 [label="connect / CONCLOSED"];
13+
s1-> s0 [label="disconnect / CONCLOSED"];
14+
s1-> s2 [label="subscribe / SUBACK"];
15+
s1-> s1 [label="publish / PUBACK"];
16+
s1-> s1 [label="unsubscribe / UNSUBACK"];
17+
s1-> s0 [label="invalid / CONCLOSED"];
18+
s2-> s0 [label="connect / CONCLOSED"];
19+
s2-> s0 [label="disconnect / CONCLOSED"];
20+
s2-> s2 [label="subscribe / SUBACK"];
21+
s2-> s2 [label="publish / PUBACK__PUBLISH"];
22+
s2-> s1 [label="unsubscribe / UNSUBACK"];
23+
s2-> s0 [label="invalid / CONCLOSED"];
24+
25+
__start0 [label=""shape="none"width="0"height="0"];
26+
__start0-> s0;
27+
28+
}

‎settings.gradle‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
rootProject.name='FuzzyEquivalenceOracle'
2+

‎src/.DS_Store‎

6 KB
Binary file not shown.

‎src/main/.DS_Store‎

6 KB
Binary file not shown.

‎src/main/java/.DS_Store‎

6 KB
Binary file not shown.

0 commit comments

Comments
 (0)
[8]ページ先頭
©2009-2025 Movatter.jp