<s> """<STR_LIT>""" <EOL> from django . db import models , transaction , IntegrityError <EOL> class Counter ( models . Model ) : <EOL> name = models . CharField ( max_length = <NUM_LIT:10> ) <EOL> value = models . IntegerField ( ) <EOL> class WithCustomPK ( models . Model ) : <EOL> name = models . IntegerField ( primary_key = True ) <EOL> value = models . IntegerField ( ) <EOL> __test__ = { "<STR_LIT>" : """<STR_LIT>""" <EOL> } </s>
