From a62b2a1da87c05373242b0db0d6f99b99a92c77a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Karel=20Ko=C4=8D=C3=AD?= Date: Thu, 13 Aug 2015 11:57:40 +0200 Subject: Fix single_generated_file writeback measure_list containst ints. But method writelines can only be used with strings. --- scripts/configurations.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'scripts') diff --git a/scripts/configurations.py b/scripts/configurations.py index a9ede05..aef8a5f 100644 --- a/scripts/configurations.py +++ b/scripts/configurations.py @@ -173,7 +173,8 @@ def __generate_single__(var_num, conf_num): tfile = __buildtempcnf__(var_num, (sf(conf.rules_file), sf(conf.fixed_file)), (str(measure_list.pop()))) with open(sf(conf.single_generated_file), 'w') as fo: - fo.writelines(measure_list) + for ln in measure_list: + fo.write(str(ln) + '\n') try: confs = __exec_sat__(tfile, ['-i', '0']) for con in confs: -- cgit v1.2.3