Commit e9a9090e authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain

fixed the heisenbug and removed spurious output in doc generation

parent ed29f996
......@@ -626,8 +626,7 @@ copy_multistability_graph(ParentId, Swaps) :-
adapt_conserv_laws(Swaps, ConservList, NewConservList),
asserta(conservLaws(NewConservList)),
get_current_graph(MultiGraphId),
set_attribute(MultiGraphId, swaps_used=Swaps),
set_sources(MultiGraphId).
set_attribute(MultiGraphId, swaps_used=Swaps).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
......
......@@ -174,13 +174,14 @@ compile_program( InputFile ) :-
doc( "This is equivalent to add_function( z = ( 2 post ),
x = ( pre z + 1 post ),
y = ( pre 4 ) )." ),
with_output_to(atom(_),
biocham_silent(
prolog( 'open( \'compile_program_example.bc\', write, ExampleFile ),
writeln( ExampleFile, \'z = 2.\' ),
writeln( ExampleFile, \'x = z + 1.\' ),
writeln( ExampleFile, \'y = 4.\' ),
close( ExampleFile )' )
),
)),
biocham_silent( clear_model ),
biocham( compile_program( 'compile_program_example.bc' ) ),
......
......@@ -31,7 +31,7 @@ up_type(sources).
:- doc('\\emphright{Defines if in the drawing of a graph using Graphviz, some species should appear first (i.e. on top of the drawing, or at the left if dran from left to right. The default value is \\texttt{present}, i.e. draw first the species that are present in the initial state.}').
:- initial(option(draw_first: none)).
:- initial(option(draw_first: present)).
:- devdoc('\\section{Commands}').
......
......@@ -387,7 +387,8 @@ write_morph([X|Tail], G1, G2, I) :-
run_glucose(Filename) :-
process_create(path(glucose), ['-verb=0',Filename, '/tmp/out.sat'], [process(Id)]),
process_create(path(glucose), ['-verb=0',Filename, '/tmp/out.sat'],
[process(Id), stderr(null), stdout(null)]),
get_option(timeout,Timeout),
catch(call_with_time_limit(Timeout,wait(Id,_)), _, (process_kill(Id), write('\ntimed out '), write(Timeout), write('sec\n'))).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment