tree 6db1797b2739f1b7cbd54ab89f4ec6bceec83b30
parent 1c422628bc9dcbc3f24c77d456fdd3653e34b8e7
author Bobby R. Bruce <bbruce@ucdavis.edu> 1670008545 -0800
committer Bobby Bruce <bbruce@ucdavis.edu> 1670271953 +0000

util-gem5art: Fix incorrect type of size in `createArtifact`

The typing here was `int` but had a default value of `None`. The correct
type is therefore `Optional[int]`.

Change-Id: Ibaf63151196b15f68e643fa5c1b290439d6618c8
Reviewed-on: https://gem5-review.googlesource.com/c/public/gem5/+/66371
Maintainer: Bobby Bruce <bbruce@ucdavis.edu>
Tested-by: kokoro <noreply+kokoro@google.com>
Reviewed-by: Bobby Bruce <bbruce@ucdavis.edu>