def set_value(self, subsystem, option, value):
        assert subsystem in self
        util.write_file(str(value), self.per_subsystem[subsystem], subsystem + '.' + option)
A SpecRef file is a JSON object, where keys are ids
dataset/ETHPy150Open sosy-lab/benchexec/benchexec/cgroups.py/Cgroup.set_value--crossover with--dataset/ETHPy150Open tabatkins/bikeshed/bikeshed/biblio.py/processSpecrefBiblioFile