Commit e1447104 authored by Thom Badings's avatar Thom Badings
Browse files

Update sampler.py

parent 7be49b6e
......@@ -30,6 +30,8 @@ if __name__ == '__main__':
parameters, model, properties = load_problem(Z['model'], Z['property'],
Z['bisimulation'])
print('Samples:', Z['Nsamples'])
# Determine how many parameter samples we need in total
totalN = Z['iterations'] * max(Z['Nsamples'])
......@@ -125,4 +127,4 @@ if __name__ == '__main__':
if Z['beta'] != 0:
eta_results.to_csv('data/'+Z['outfile']+'_satprob.csv', sep=';')
print('\n---------------------\n')
\ No newline at end of file
print('\n---------------------\n')
Supports Markdown
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