Method public_input

Compiler/program.py:667–673

Append a value to the public input file.

(self, x)

                for x, y in self.free_mem_blocks.items()))

    def public_input(self, x):
        """Append a value to the public input file."""
        if self.public_input_file is None:
            self.public_input_file = open(
                self.programs_dir + "/Public-Input/%s" % self.name, "w"
            )
        self.public_input_file.write("%s\n" % str(x))

    def get_binary_input_file(self, player):
        key = player, 'bin'