Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Benoit Barbot
WordGen
Commits
ad522d5e
Commit
ad522d5e
authored
Apr 23, 2021
by
Benoit Barbot
Browse files
fix test
parent
66f1c7b8
Pipeline
#2094
passed with stages
in 2 minutes and 10 seconds
Changes
2
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
test.t/run.t
View file @
ad522d5e
...
...
@@ -15,12 +15,12 @@ Simple interaction
--
template
specify
a
template
for
time
words
;
template
look
like
'
0.2[a]_[b]
'
--
max
-
iteration
Number
of
iteration
for
Newton
method
(
default:20
)
--
output
-
format
{
timeword
|
timestamp
|
word
|
timeword_state
|
state_list
|
state_list_delay
|
state_list_full
|
time_and_label
|
debug
|
void
}
choose
the
format
of
the
output
(
default:timeword
)
--
interactive
Interactive
mode
-
i
Interactive
mode
--
apericube
Compute
apericube
-
v
Verbose
level
(
default:1
)
--
exact
-
rational
Use
exact
arithmetic
for
computation
--
gnuplot
-
cmd
Command
to
pass
to
gnuplot
for
display
--
interactive
Interactive
mode
-
i
Interactive
mode
--
gnuplot
-
driver
launch
gnuplot
--
export
-
splitreach
Export
the
splitted
zone
graph
--
splitting
-
debug
Export
debug
information
on
the
splitting
in
tex
format
(
default:
)
...
...
@@ -44,12 +44,12 @@ Simple interaction
--
template
specify
a
template
for
time
words
;
template
look
like
'
0.2[a]_[b]
'
--
max
-
iteration
Number
of
iteration
for
Newton
method
(
default:20
)
--
output
-
format
{
timeword
|
timestamp
|
word
|
timeword_state
|
state_list
|
state_list_delay
|
state_list_full
|
time_and_label
|
debug
|
void
}
choose
the
format
of
the
output
(
default:timeword
)
--
interactive
Interactive
mode
-
i
Interactive
mode
--
apericube
Compute
apericube
-
v
Verbose
level
(
default:1
)
--
exact
-
rational
Use
exact
arithmetic
for
computation
--
gnuplot
-
cmd
Command
to
pass
to
gnuplot
for
display
--
interactive
Interactive
mode
-
i
Interactive
mode
--
gnuplot
-
driver
launch
gnuplot
--
export
-
splitreach
Export
the
splitted
zone
graph
--
splitting
-
debug
Export
debug
information
on
the
splitting
in
tex
format
(
default:
)
...
...
web-view/worker.ml
View file @
ad522d5e
...
...
@@ -29,7 +29,7 @@ let computation ta outfile =
if
!
print_rg
then
printf
"%a@."
(
ZoneGraph
.
print
Bound
.
print
)
rgpoly
;
Weight
.
sample
smp
~
outfile
?
seed
:!
Arguments
.
random_seed
?
boltz
~
out_style
:!
out_style
~
max_iter
:!
max_iteration
~
out_style
:
(
!
out_style
,
false
)
~
max_iter
:!
max_iteration
~
sampler
:
(
Low_disc_sampler
.
get_sampler
!
sampler
)
~
store_traj
:!
store_traj
rgpoly
!
template
!
nbtraj
)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment